$\forall$$T$:Type, ${\it pl}$:($T$$\rightarrow$$T$$\rightarrow$$T$), ${\it zero}$:$T$, ${\it neg}$:($T$$\rightarrow$$T$), ${\it tm}$:($T$$\rightarrow$$T$$\rightarrow$$T$), ${\it one}$:$T$.
\\[0ex]IsRing($T$;${\it pl}$;${\it zero}$;${\it neg}$;${\it tm}$;${\it one}$) $\in$ $\mathbb{P}$